unit{-}fps $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$cons(1; [])